Nuprl Definition : multiply def 13,42

n * m is Primitive 
latex


Upcore 1, core 1

origin